Статья

Название статьи

САМОМОДИФИЦИРУЕМЫЕ СЦЕНАРНЫЕ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ (БАЗОВЫЙ ФОРМАЛИЗМ И ТЕМПОРАЛЬНЫЕ ОПЕРАЦИИ)

Авторы

Зинкин Сергей Александрович, кандидат технических наук, доцент кафедры вычислительной техники Пензенского государственного университета.

Индекс УДК

681.324

Аннотация

На основе введенного определения самомодифицируемого сценария как активной семантической сети, представленной суперпозициями концептуальных графов, рассматривается алгебраический подход к конструированию сложных иерархических эволюционирующих сценарных сетей. Принятая парадигма взаимодействия процессов соответствует согласованному использованию информационных объектов, представленных сигнатурой многоосновной алгебраической системы. Структурные и логические связи между понятиями предметной области представляются сигнатурой и формулами в этой сигнатуре. Сигнатура представляет декларативные знания, сценарии – процедурные знания о предметной области. Сценарии реализуются сетями абстрактных машин, состоящих из модулей, объединенных причинно-следственными связями.

 

 Скачать статью в формате PDF

Список литературы

1. Конолли, Т. Базы данных. Проектирование, реализация и сопровождение. Теория и практика / Т. Конолли, К. Бегг. – М. : Вильямс, 2003. – 1440 с.
2. Искусственный интеллект : в 3-х кн. : справочник / под ред. Д. А. Поспелова.– М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. – 304 с.
3. Литвинцева, Л. В. Сценарии / // Искусственный интеллект : в 3-х кн. : справочник / Л. В. Литвинцева ; под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. – С. 56–60.
4. Логический подход к искусственному интеллекту / А. Тейз, П. Грибомон, Ж. Луи [и др.]. – М. : Мир, 1990. – 432 с.
5. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев : Наукова думка, 1980. – 252 с.
6. Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. - 160 с.
7. Робототехника и гибкие автоматизированные производства : в 9-ти кн. / В. М. Назаретов, Д. П. Ким ; под ред. И. М. Макарова. – М. : Высш. шк., 1986. – Кн. 6 : Техническая имитация интеллекта. – 144 с.
8. Кандрашина, Е. Ю. Представление знаний о пространстве и времени в системах искусственного интеллекта / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов. – М. : Наука, 1989. – 328 с.
9. Лозовский, В. С. Сетевые модели / В. С. Лозовский // Искусственный интеллект : в 3-х кн. : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. –             С. 28–49.
10. Кандрашина, Е. Ю. Ленемы / Е. Ю. Кандрашина // Искусственный интеллект : в 3-х кн. : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. – С. 60–65.
11. Литвинцева, Л. В. Пополнение знаний / Л. В. Литвинцева, Д. А. Поспелов // Искусственный интеллект : в 3-х кн. : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. – С. 76–81.
12. Кандрашина, Е. Ю. Технологические комплексы для разработки баз знаний / Е. Ю. Кандрашина // Искусственный интеллект : в 3-х кн. : справочник / под ред. В. Н. Захарова, В. Ф. Хорошевского. – М. : Радио и связь, 1990. – Кн. 3 : Программные и аппаратные средства. – С. 109–120.
13. Абрахманов, А. А. Инструментальный технологический комплекс для систем семиотического моделирования / А. А. Абрахманов, В. С. Лозовский, С. В. Лозовский // Искусственный интеллект : в 3-х кн. : справочник / под ред. В. Н. Захарова, В. Ф. Хорошевского. – М. : Радио и связь, 1990. – Кн. 3 : Программные и аппаратные средства. – С. 131–150.
14. Плесневич, Г. С. Логические модели / Г. С. Плесневич // Искусственный интеллект : в 3-х кн. : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – Кн. 2 : Модели и методы. –             С. 14–28.
15. Котов, В. Е. Связь сетевого и логического подходов к описанию процессов / В. Е. Котов, Л. А. Черкасова // Прикладные аспекты математической логики. Вычислительные системы. – Вып. 122. – Новосибирск : Изд-во Института математики СО АН СССР, 1987. – С. 97–109.

 

Дата создания: 17.07.2013 10:53
Дата обновления: 17.07.2013 10:53